// "Replace with Java-style array declaration" "true"
record X (int a[<caret>][]){}